Models and Tools for Improving Efficiency in Constraint Logic Programming
نویسندگان
چکیده
منابع مشابه
Models and Tools for Improving Efficiency in Constraint Logic Programming
Constraint Satisfaction Problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in Constraint Logic Programming. A hypergraph model of constraints is presented and an outline of strategy planning approach focused on entropy minimization is put forward. An example cryptoaritmetic problem is explored in order to ...
متن کاملModels for Using Stochastic Constraint Solvers in Constraint Logic Programming
This paper proposes a number of models for integrating stochastic constraint solvers into constraint logic programming systems in order to solve constraint satisfaction problems eeciently. Stochastic solvers can solve hard constraint satisfaction problems very eeciently, and constraint logic programming allows heuristics and problem breakdown to be encoded in the same language as the constraint...
متن کاملApplication of Constraint Logic Programming for VLSI CAD Tools
This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with efficient constraint propagation techniques is an adequate programming environment for complex real world problems like high level synthesis, simulation, code generation, and memory synthesis. Different types of constraints Boole...
متن کاملLogic and Constraint Logic Programming for Distributed Constraint Optimization
The field of Distributed Constraint Optimization Problems (DCOPs) has gained momentum, thanks to its suitability in capturing complex problems (e.g., multi-agent coordination and resource allocation problems) that are naturally distributed and cannot be realistically addressed in a centralized manner. The state of the art in solving DCOPs relies on the use of ad-hoc infrastructures and ad-hoc c...
متن کاملImproving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
Although sometimes it is necessary, no one likes to stay in a hospital, and patients who need to stay in bed but do not require constant medical surveillance prefer their own bed at home. At the same time, a patient in a hospital has a high cost for the community, that is not acceptable if the patient needs service only a few minutes a day. For these reasons, the current trend in Europe and Nor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Decision Making in Manufacturing and Services
سال: 2011
ISSN: 2300-7087,1896-8325
DOI: 10.7494/dmms.2011.5.1.69